Handbook of satisfiability electronic resource
- Författare
- (Edited by Armin Biere ..)
- Genre
- Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | cop. 2009 | Nederländerna, Amsterdam, Washington, DC | 1 online resource (xiii, 966 sidor.) ill. | 978-1-4416-1678-4, 978-1-60750-376-7 |